$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. $e$ $\leq$ ${\it e'}$  $\Rightarrow$ ${\it e'}$ $\leq$ $e$  $\Rightarrow$ $e$ $=$ ${\it e'}$